P2 CNF